Algebra / Modeling / Computer Aided Manufacturing / Communication Networks / Composition / Real Time Systems / Process Algebra / Logic Design / Temporal Logic / Application Software / Real Time Systems / Process Algebra / Logic Design / Temporal Logic / Application Software
System Dynamics / Symbolic Computation / Mathematical Sciences / Process Algebra / Population Growth / Mathematics and Computer Science / Stochastic Model / Population dynamic / Individual Based Model / Ordinary Differential Equation / Mathematics and Computer Science / Stochastic Model / Population dynamic / Individual Based Model / Ordinary Differential Equation